#ifndef GMP_GLUE_H
#define GMP_GLUE_H

#include "string.h"
#include "text_video.h"

extern void * kernel_start, * kernel_end;
size_t base;

uint8_t * stdout;

void abort(int err);
void stderr(int err);

int fprintf(uint8_t *, const char *, ...);
int fputs ( const char * str, uint8_t * stream );
size_t fwrite ( const void * ptr, size_t size, size_t count, uint8_t * stream );
int __fprintf_chk(uint8_t * fp, int flag, const char * format, ...);
int __snprintf_chk(uint8_t * fp, int flag, char *str, size_t size, const char *format, ...);

int __memset_chk(uint8_t * fp, int flag, const void * const dest, const uint8_t val, const size_t count);
//int vfprintf ( uint8_t * stream, const char * format, va_list arg );
char * strchr ( const char * str, int ch);
char *nl_langinfo(char ** item);
const unsigned short * * __ctype_b_loc  (void);
int raise (size_t sig);

#endif
